Elementary Quotient Completion
نویسندگان
چکیده
We extend the notion of exact completion on a category with weak finite limits to Lawvere’s elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which is the universal solution to adding certain quotients. We note that the elementary quotient completion can be obtained as the composite of two other universal constructions: one adds effective quotients, the other forces extensionality of morphisms. We also prove that each construction preserves comprehension.
منابع مشابه
On Countable Completions of Quotient Ordered Semigroups
A poset is said to be ω-chain complete if every countable chain in it has a least upper bound. It is known that every partially ordered set has a natural ω-completion. In this paper we study the ω-completion of partially ordered semigroups, and the topological action of such a semigroup on its ω-completion. We show that, for partially ordered semigroups, ω-completion and quotient with respect t...
متن کاملThe Quotient of a Complete Symmetric Variety
We study the quotient of a completion of a symmetric variety G/H under the action of H . We prove that this is isomorphic to the closure of the image of an isotropic torus under the action of the restricted Weyl group. In the case the completion is smooth and toroidal we describe the set of semistable points. 2000 Math. Subj. Class. 14L30, 14L24, 14M17.
متن کاملMatroids and quotients of spheres
For any linear quotient of a sphere, X = Sn−1/Γ, where Γ is an elementary abelian p–group, there is a corresponding Fp representable matroidMX which only depends on the isometry class ofX.When p is 2 or 3 this correspondence induces a bijection between isometry classes of linear quotients of spheres by elementary abelian p–groups, and matroids representable over Fp. Not only do the matroids giv...
متن کاملQuotients of dilworth truncations
Sufficient conditions are given for an elementary quotient of the kth Dilworth truncation of a matroid M to be the kth Dilworth truncation of a quotient of M. As special cases, contractions of Dilworth truncations and principal truncations by connected flats of Dilworth truncations are characterised as Dilworth truncations of certain matroids. As an application of the theory it is shown that th...
متن کاملA hybrid quotient algorithm
We describe an algorithm which takes as input a finitely presented group F, a finite confluent rewriting system for a quotient G and a prime p, and returns as output a finite confluent rewriting system for the largest extension of an elementary abelian group in characteristic p by G which is still an epimorphic image of F.
متن کامل